The most important philosopher of categorical moral reasoning is the18th century German philosopher Immanuel Kant. 而绝对主义道德推理的代表是18世纪的德国哲学家康德。
With the confirmation of homogeneous replacement of Propositions A, O, the replacement of categorical proposition should be the reasoning of homogenous equivalence. 随着A、O命题同质换位确定后,我们可以认为直言命题的换位推理应该是同质等值推理。